Group Principals and the Formalization of Anonymity
نویسندگان
چکیده
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally useful concepts for looking at security. We provide an associated epistemic language and logic and use it to reason about anonymity protocols and anonymity services, where protection properties are formulated from the intruder’s knowledge of group principals. Using our language, we give an epistemic characterization of anonymity properties. We also present a specification of a simple anonymizing system and informal assessment using our theory.
منابع مشابه
Parameterised Anonymity
We introduce the notion of parameterised anonymity, to formalize the anonymity property of protocols with an arbitrary number of participants. This definition is an extension of the well known CSP anonymity formalization of Schneider and Sidiropoulos [23]. Using recently developed invariant techniques for solving parameterised boolean equation systems, we then show that the Dining Cryptographer...
متن کاملTrust in Crowds: Probabilistic Behaviour in Anonymity Protocols
The existing analysis of the Crowds anonymity protocol assumes that a participating member is either ‘honest’ or ‘corrupted’. This paper generalises this analysis so that each member is assumed to maliciously disclose the identity of other nodes with a probability determined by her vulnerability to corruption. Within this model, the trust in a principal is defined to be the probability that she...
متن کاملThe process of using mentoring in the professional development of school principals
The aim of this study was to identify the process of using mentoring in the professional development of school principals in Mashhad. The research method was phenomenological and the research data were collected by studying the lived experience of school principals by using semi-structured interview with 22 principals. Key informants in this study included those managers who were familiar wit...
متن کاملA Formalization of Anonymity and Onion Routing
The use of formal methods to verify security protocols with respect to secrecy and authentication has become standard practice. In contrast, the formalization of other security goals, such as privacy, has received less attention. Due to the increasing importance of privacy in the current society, formal methods will also become indispensable in this area. Therefore, we propose a formal definiti...
متن کاملLived Experiences of a Group of Students, Teachers, and Principals with the Post-Earthquake Implemented Curriculum in Sarpol-e Zahab
To learn curricular lessons from the crisis situation that followed the recent quake in the city of Sarpol-e Zahab, the lived experiences of a group of 25 students, teachers, and principals with the implemented curriculum were sought through semi-structured interviews. The questions asked the interviewees are based on the Francis Klein’s 9 curricular elements. The given answers were validated w...
متن کامل